Temporal Prepositions and Their Logic
نویسنده
چکیده
This paper investigates the computational complexity of reasoning with English sentences featuring temporal prepositions, temporal subordinating conjunctions and the order-denoting adjectives ‘first’ and ‘last’. A fragment of English featuring these constructions, called TPE, is defined by means of a context-free grammar. The phrasestructures which this grammar assigns to the sentences it recognizes can be viewed as formulas of an interval temporal logic, called TPL, and given intuitively correct semantics. It is shown that the satisfiability problem for TPL is NEXPTIME-complete.
منابع مشابه
Investigating the Use of Games and Flash Cards in Teaching Spatial and Temporal Prepositions to Iranian Pre-Intermediate EFL Learners
One of the most problematic areas for teachers and learners in English classrooms is prepositions. Two types of prepositions in English are spatial (space) and temporal (time) prepositions. Prepositions are words linking two entities and thereby specifying the relation of the two. The main purpose of this study was to investigate the role of games and flash cards in learning place and time prep...
متن کاملThe annotation of preposition senses in German
It seems to be common wisdom that prepositions (especially simple prepositions) are highly polysemous. Preposition senses seem to be well explored, as there exists plenty of literature on prepositions and their interpretations. On a closer inspection, however, it turns out that we are far away from a well-structured understanding of preposition senses. There is mutual consent about simple prepo...
متن کاملA Decidable Temporal Logic for Temporal Prepositions
This paper investigates the connection between temporal logic and the semantics of some temporal expressions in English. Specii-cally, we show how the meanings of English temporal preposition-phrases can be expressed as modal operators in an interval-based temporal logic which we call ETL0. We show how cascaded temporal preposition phrases and temporal preposition phrases with complex complemen...
متن کاملTemporal Views as Abstract Relations
Many natural languages use prepositions to mark relations between entities of various kinds – between physical entities and their spatial locations, between temporal entities and their temporal locations, between abstract entities of various kinds (e.g. between ideas and their ‘mental locations’). In the current paper I will show that the consequences of using prepositions to relate temporal en...
متن کاملSimple Interval Temporal Logic for Natural Language Assertion Descriptions
SystemVerilog assertion (SVA) is widely used for verifying properties of hardware designs. This paper presents a new method of generating SVAs from natural language assertion descriptions. For capturing the temporal semantics in natural language descriptions, we develop a new logical form called simple interval temporal logic (SIT L) which can deal formally with temporal constructions such as t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 166 شماره
صفحات -
تاریخ انتشار 2004